Essential Ingredients for a WCET Annotation Language
نویسندگان
چکیده
Within the last years, ambitions towards the definition of common interfaces and the development of open frameworks have been increasing the efficiency of research on WCET analysis. The Annotation Language Challenge for WCET analysis has been proposed with the intention to underline the importance of such common interfaces. Within this paper we present a list of essential ingredients for a common WCET annotation language. These selected ingredients comprise a number of features available in different WCET analysis tools and add several new concepts we consider important. The annotation concepts are described in an abstract format that can be instantiation at different representation levels.
منابع مشابه
Towards a Common WCET Annotation Language: Essential Ingredients
Within the last years, ambitions towards the definition of common interfaces and the development of open frameworks have increased the efficiency of research on WCET analysis. The Annotation Language Challenge for WCET analysis has been proposed in line with these ambitions in order to push the development of common interfaces also to the level of annotation languages, which are crucial for the...
متن کاملTowards a Common Wcet Annotation Language: Essential Ingredients1
Within the last years, ambitions towards the definition of common interfaces and the development of open frameworks have increased the efficiency of research on WCET analysis. The Annotation Language Challenge for WCET analysis has been proposed in line with these ambitions in order to push the development of common interfaces also to the level of annotation languages, which are crucial for the...
متن کاملWCET Analysis: The Annotation Language Challenge
Worst-case execution time (WCET) analysis is indispensable for the successful design and development of systems, which, in addition to their functional constraints, have to satisfy hard real-time constraints. The expressiveness and usability of annotation languages, which are used by algorithms and tools for WCET analysis in order to separate feasible from infeasible program paths, have a cruci...
متن کاملA Unified Flow Information Language for WCET Analysis
In this paper we raise the question if it is possible to create a unified flow information language that all WCET research groups can agree upon, and that is independent of flow analysis and calculation methods. We discuss desired characteristics of such a flow information language and describe the type of flows that it should be able to express. We present our previously published flow fact an...
متن کاملPrinciples for Value Annotation Languages
Tools for code-level program analysis need formats to express various properties, like relevant properties of the environment where the analysed code will execute, and the analysis results. Different WCET analysis tools typically use tool-specific annotation languages for this purpose. These languages are often geared towards expressing properties that the particular tool can handle rather than...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008